Dai Games Special Issue

Special Issue: Games in Verification

This special issue of Journal of Computer and System Sciences is devoted to game theoretic methods in automated verification and model checking. The idea for a special issue was proposed in the context of the EU Research and Training Network “Games and Automata for Synthesis and Validation (GAMES)”, and a call for submissions to this special issue was internationally distributed in this researc...

Special Issue

Preface: DGAA Special Issue on Numerical Methods for Dynamic Games

The theory of dynamic games has progressed very much in the last decades, and these models are now used in many areas which span from economics to engineering applications, from decisionmodels in social sciences to computer science. Just to quote two typical examples, the allocation of investments in dynamic industry models or the optimal policy design in (multicountry) macroeconomic settings c...

A special issue on artificial intelligence in computer games: AICG

The research on computer games has been one of the most important areas in artificial intelligence since Shannon designed programs to play Chess in 1950. The realm related to computer games includes computational intelligence, algorithms, cognitive science, machine learning, software engineering and combinatorial game theory. Recently, researchers in the area of computer games have made signifi...

Preface for the special issue on Games and AI

Ever since humans achieved some degree of civilization, they have played games. The two most important reasons for games to be played are their intellectual challenge and their entertainment value. For the first reason games are used as a testing ground for computational intelligence. Since the 1950s the AI community compares the computer performance with the human performance [2], or otherwise...